Topological Noetherianity of polynomial functors
نویسندگان
چکیده
منابع مشابه
Polynomial Functors and Polynomial Monads
We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a polynomial endofunctor is polynomial. The relationship with operads and other related notions is explored. Introduction Background. Notions of polynomial functor ha...
متن کاملPolynomial Functors and Trees
We explore the relationship between polynomial functors and trees. In the first part we characterise trees as certain polynomial functors and obtain a completely formal but at the same time conceptual and explicit construction of two categories of rooted trees, whose main properties we describe in terms of some factorisation systems. The second category is the category Ω of Moerdijk and Weiss. ...
متن کاملPolynomial functors and opetopes
We give an elementary and direct combinatorial definition of opetopes in terms of trees, well-suited for graphical manipulation (e.g. drawings of opetopes of any dimension and basic operations like sources, target, and composition); a substantial part of the paper is constituted by drawings and example computations. To relate our definition to the classical definition, we recast the Baez-Dolan ...
متن کاملDiscrete Generalised Polynomial Functors
We study generalised polynomial functors between presheaf categories, developing their mathematical theory together with computational applications. The main theoretical contribution is the introduction of discrete generalised polynomial functors, a class that lies in between the classes of cocontinuous and finitary functors, and is closed under composition, sums, finite products, and different...
متن کاملTopological Functors as Total Categories
A notion of central importance in categorical topology is that of topological functor. A faithful functor E → B is called topological if it admits cartesian liftings of all (possibly large) families of arrows; the basic example is the forgetful functor Top→ Set. A topological functor E → 1 is the same thing as a (large) complete preorder, and the general topological functor E → B is intuitively...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the American Mathematical Society
سال: 2019
ISSN: 0894-0347,1088-6834
DOI: 10.1090/jams/923